2. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3. Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
پدیدآورنده : Ali E. Abdallah, Peter Ryan, Steve Schneider )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2629
